@ECHO OFF

REM The following uses the latest checkers:
ECHO Compiling OIGJ (using the latest checkers):
CMD /C C:\Programs\checkers\binary\javac.bat -cp "C:\Program Files\Java\jdk1.6.0_14\lib\tools.jar" ../src/checkers/oigj/*.java ../src/checkers/oigj/quals/*.java

REM The following uses older checkers that OIGJ was written with on NetBSD:
ECHO Compiling OIGJ (using older checkers):
CMD /C ..\..\..\..\JSR308-Checkers\checkers\binary\javac.bat -cp "C:\Program Files\Java\jdk1.6.0_14\lib\tools.jar" ../src/checkers/oigj/*.java ../src/checkers/oigj/quals/*.java

CMD /K ECHO Finished.
